Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
861	JEFFREY C. KING WHAT IS A PHILOSOPHICAL ANALYSIS? (Received 24 JanuaryIt is common for philosophers to offer philosophical accounts or Add to Reading List Source URL: fas-philosophy.rutgers.edu Language: English - Date: 2011-03-21 20:18:32 Mathematical logic Philosophy of language Propositional calculus Ontology Semantics Proposition Function Interpretation Category of being Logic Philosophy Mathematics
862	Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-07 12:16:44 Database theory Decomposition method Theoretical computer science Directed graph Structure Mathematical logic Constraint programming Mathematics Conjunctive query
863	Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine Add to Reading List Source URL: www.loria.fr Language: English - Date: 2005-01-31 14:08:48 Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory
864	The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang \| matthias } @ ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:51:44 Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics
865	OPEN TECHNOLOGY INSTITUTE NEW AMERICA Add to Reading List Source URL: www.newamerica.org Language: English - Date: 2015-02-10 12:49:48 Theoretical computer science Racism Medical algorithm Ethics Algorithm Mathematical logic
866	From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λZFC Neil Toronto and Jay McCarthy PLT @ Brigham Young University, Provo, Utah, USA and Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2015-05-11 20:44:55 Mathematical analysis Probability space Random variable Independence Conditioning Code Ordinal number Probability distribution Conditional expectation Probability theory Mathematics Mathematical logic
867	Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:35:53 Mathematical logic Deduction Proof theory Dependently typed programming Type theory Natural deduction Entailment Symbol Calculus of constructions Logic Theoretical computer science Lambda calculus
868	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
869	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
870	CZECH TECHNICAL UNIVERSITY IN PRAGUE FAKULTY OF CIVIL ENGINEERING DEPARTMENT OF MAPPING AND CARTOGRAPHY BASICS OF FUZZY LOGIC AND ITS APPLICATION IN GEOLOGY Add to Reading List Source URL: gama.fsv.cvut.cz Language: English - Date: 2011-05-07 10:04:26 Fuzzy control system Fuzzy set Fuzzy number Membership function Defuzzification Fuzzy clustering Control system Neuro-fuzzy Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic